翻訳と辞書 Words near each other ・ Cohennoz ・ Cohens v. Virginia ・ Cohen–Hewitt factorization theorem ・ Cohen–Macaulay ring ・ Cohen–Sutherland algorithm ・ Coherence ・ Coherence (film) ・ Coherence (linguistics) ・ Coherence (philosophical gambling strategy) ・ Coherence (physics) ・ Coherence (signal processing) ・ Coherence (statistics) ・ Coherence (units of measurement) ・ Coherence (UPNP) ・ Coherence bandwidth ・ Coherence condition ・ Coherence length ・ Coherence scanning interferometry ・ Coherence theorem ・ Coherence theory ・ Coherence theory of truth ・ Coherence therapy ・ Coherence time ・ Coherence time (communications systems) ・ Coherency Granule ・ Coherent (operating system) ・ Coherent addition ・ Coherent anti-Stokes Raman spectroscopy ・ Coherent backscattering ・ Coherent control Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Coherence condition ： ウィキペディア英語版 Coherence condition In mathematics, and particularly category theory a coherence condition is a collection of conditions requiring that various compositions of elementary morphisms are equal. Typically the elementary morphisms are part of the data of the category. ==An illustrative example: a monoidal category== Part of the data of a monoidal category is a chosen morphism $\backslash alpha\_$, called the ''associator'': $\backslash alpha\_\; \backslash colon\; (A\backslash otimes\; B)\backslash otimes\; C\; \backslash rightarrow\; A\backslash otimes(B\backslash otimes\; C)$ for each triple of objects $A,B,C$ in the category. Using compositions of these $\backslash alpha\_$, one can construct a morphism $(\; \backslash cdots\; (\; A\_N\; \backslash otimes\; A\_\; )\; \backslash otimes\; A\_\; )\; \backslash otimes\; \backslash cdots\; \backslash otimes\; A\_1)\; \backslash rightarrow$ ( A_N \otimes ( A_ \otimes \cdots \otimes ( A_2 \otimes A_1) \cdots ). Actually, there are many ways to construct such a morphism as a composition of various $\backslash alpha\_$. One coherence condition that is typically imposed is that these compositions are all equal. Typically one proves a coherence condition using a coherence theorem, which states that one only needs to check a few equalities of compositions in order to show that the rest also hold. In the above example, one only needs to check that, for all quadruples of objects $A,B,C,D$, the following diagram commutes 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Coherence condition」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.